Nuprl Definition : fpf-empty 11,40
fpf-empty == <[], x.> 
latex

Definitions, fpf-empty
FDL editor aliasesfpf-empty

origin